Combinatorial principles in nonstandard analysis
نویسندگان
چکیده
منابع مشابه
A nonstandard technique in combinatorial number theory
In the last few years many results in combinatorial number theory have been proved by means of nonstandard techniques. The aim of our talk is to present some of these techniques by means of some selected examples of applications. A particular attention will be given to the study of the following kind of problems: given a diophantine equation P (x1, ..., xn) = 0 we say that this equation is part...
متن کاملNonstandard principles for generalized functions
We show that principles from nonstandard analysis hold to some extent for nonlinear generalized functions. The generalized functions under consideration are constructed as families of functions modulo a free filter, as it is usually done in applied analysis. In contrast with models of nonstandard analysis, we do not require the filter to be an ultrafilter. The principles are intended to be used...
متن کاملTransfer principles in nonstandard intuitionistic arithmetic
Using a slight generalization, due to Palmgren, of sheaf semantics, we present a term-model construction that assigns a model to any first-order intuitionistic theory. A modification of this construction then assigns a nonstandard model to any theory of arithmetic, enabling us to reproduce conservation results of Moerdijk and Palmgren for nonstandard Heyting arithmetic. Internalizing the constr...
متن کاملNonstandard Analysis in Point
We present Nonstandard Analysis by three axioms: the Extension, Transfer and Saturation Principles in the framework of the superstructure of a given innnite set. We also present several applications of this axiomatic approach to point-set topology. Some of the topological topics such as the Hewitt realcompactiication and the nonstandard characterization of the sober spaces seem to be new in the...
متن کاملSome Combinatorial Principles
We extend some large cardinal axioms of Jensen to weakly inaccessible cardinals. Related problems regarding the saturatedness of certain filters are also studied.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2003
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(02)00059-3